Line Integral

Definition (Line Integral) Let line integral _gr_1.gif] be a smooth curve, with parametric equations line integral _gr_2.gif] line integral _gr_3.gif] and line integral _gr_4.gif] for line integral _gr_5.gif] that lies within the domain of a function line integral _gr_6.gif] We say that line integral _gr_7.gif] is orientable if it is possible to describe direction along the curve for increasing line integral _gr_8.gif] Partition line integral _gr_9.gif] into line integral _gr_10.gif] sub-arcs, the line integral _gr_11.gif] of which has length line integral _gr_12.gif] Let line integral _gr_13.gif] be a point chosen arbitrarily from the line integral _gr_14.gif] sub-arc. Form the Riemann sum line integral _gr_15.gif] and let line integral _gr_16.gif] denote the largest sub-arc length in the partition. Then, if the limit   

line integral _gr_17.gif]

exists, we call this limit the line integral of line integral _gr_18.gif] over line integral _gr_19.gif] and denote it by   

line integral _gr_20.gif]

Additionally, if line integral _gr_21.gif] is a closed curve, then we denote the line integral by line integral _gr_22.gif]

Proposition (Line Integral) Suppose that the function line integral _gr_23.gif] is continuous at each point on a smooth curve line integral _gr_24.gif],  with parametric equations line integral _gr_25.gif] line integral _gr_26.gif] and line integral _gr_27.gif] for line integral _gr_28.gif] that lies within the domain of line integral _gr_29.gif] Then line integral _gr_30.gif] exists and   

line integral _gr_31.gif]

and thus

line integral _gr_32.gif]

    The definition of a line integral can be extended to curves that are piecewise smooth in the sense that they are the union of a finite number of smooth curves with only endpoints in common. In particular, if line integral _gr_33.gif] is comprised of a number of smooth sub-arcs line integral _gr_34.gif] then  

line integral _gr_35.gif]

Proposition (Properties of Line Integrals) Let line integral _gr_36.gif] line integral _gr_37.gif] and line integral _gr_38.gif] be scalar functions defined on a piecewise smooth orientable curve line integral _gr_39.gif] Then, for any constants line integral _gr_40.gif]and line integral _gr_41.gif]

(i) Linearity rule:

line integral _gr_42.gif]

(ii) Subdivision rule:  

line integral _gr_43.gif]

where line integral _gr_44.gif] is the union of smooth orientable sub-arcs line integral _gr_45.gif] with only endpoints in common.

(iii) Opposite direction rule:

line integral _gr_46.gif]

Example (Line Integral) Evaluate line integral _gr_47.gif] where line integral _gr_48.gif] is the circular helix given by the equations    line integral _gr_49.gif]

    Solution. We compute,

line integral _gr_50.gif]

line integral _gr_51.gif]

line integral _gr_52.gif]

line integral _gr_53.gif]

line integral _gr_54.gif]

line integral _gr_55.gif]
line integral _gr_56.gif]

    Other line integrals are obtained by replacing line integral _gr_57.gif] by line integral _gr_58.gif] This is called the line integral of line integral _gr_59.gif] along line integral _gr_60.gif] with respect to line integral _gr_61.gif]   

line integral _gr_62.gif]

and similarly with respect to line integral _gr_63.gif] and line integral _gr_64.gif],   

line integral _gr_65.gif]

and   

line integral _gr_66.gif]

When we want to distinguish the original line integral line integral _gr_67.gif] from these, we call it the line integral with respect to arc length. The following formulas say that the line integrals with respect to line integral _gr_68.gif] line integral _gr_69.gif] or line integral _gr_70.gif] can also be evaluated by expressing everything in terms of line integral _gr_71.gif]: line integral _gr_72.gif] line integral _gr_73.gif] line integral _gr_74.gif] line integral _gr_75.gif] line integral _gr_76.gif] and line integral _gr_77.gif] yielding:

line integral _gr_78.gif]

line integral _gr_79.gif]

and

line integral _gr_80.gif]

Example (Line Integral Evaluation) Evaluate line integral _gr_81.gif] where line integral _gr_82.gif] consists of the line segment line integral _gr_83.gif] from line integral _gr_84.gif] to line integral _gr_85.gif] followed by the vertical line segment line integral _gr_86.gif] from line integral _gr_87.gif] to line integral _gr_88.gif]

    Solution. The curve line integral _gr_89.gif] is the union of the curves

line integral _gr_90.gif]

and the curve   

line integral _gr_91.gif]

Thus
line integral _gr_92.gif]

line integral _gr_93.gif]

line integral _gr_94.gif]

line integral _gr_95.gif]

line integral _gr_96.gif]

line integral _gr_97.gif]
line integral _gr_98.gif]

Definition (Line Integral of Vector Field) Let  

line integral _gr_99.gif]

be a vector field, and let line integral _gr_100.gif] be a piecewise smooth orientable curve with parametric representation   

line integral _gr_101.gif]

Using line integral _gr_102.gif] we define the line integral of line integral _gr_103.gif] along line integral _gr_104.gif] by  

line integral _gr_105.gif]

   line integral _gr_106.gif]

   line integral _gr_107.gif]

   line integral _gr_108.gif]
   line integral _gr_109.gif]

Proposition (Line Integral of Vector Field) Let line integral _gr_110.gif] be a smooth curve and let line integral _gr_111.gif] be a continuous function with domain containing the trace of line integral _gr_112.gif] Then the value of the integrals   

line integral _gr_113.gif]

depends only on the initial point line integral _gr_114.gif] terminal point line integral _gr_115.gif] and the trace of line integral _gr_116.gif] That is, two different parametrizations having the same trace from line integral _gr_117.gif] to line integral _gr_118.gif] yield the same values for these integrals.

Example (Line Integral of Vector Field) Consider the smooth curves

line integral _gr_119.gif]

and

line integral _gr_120.gif]

Both line integral _gr_121.gif] and line integral _gr_122.gif] are smooth curves from line integral _gr_123.gif] to line integral _gr_124.gif] with the same trace which is the portion of the parabola line integral _gr_125.gif] for line integral _gr_126.gif] For line integral _gr_127.gif] we have    line integral _gr_128.gif] and line integral _gr_129.gif] therefore   

line integral _gr_130.gif]  

For line integral _gr_131.gif] we have    line integral _gr_132.gif] and line integral _gr_133.gif] therefore   

line integral _gr_134.gif]
line integral _gr_135.gif]

Proposition (Work as a Line Integral) Let line integral _gr_136.gif] be a continuous force field over a domain line integral _gr_137.gif] Then the work line integral _gr_138.gif] performed as an object moves along a smooth curve line integral _gr_139.gif] in line integral _gr_140.gif] is given by the integral line integral _gr_141.gif] where line integral _gr_142.gif] is the unit tangent at each point on line integral _gr_143.gif] and line integral _gr_144.gif] is the position vector of the object moving on line integral _gr_145.gif]

Example (Work as a Line Integral) Find the work done by the force field   

line integral _gr_146.gif]

on an object moving along the curve line integral _gr_147.gif] defined parametrically by   

line integral _gr_148.gif]

    Solution. We compute,
    
line integral _gr_149.gif]

line integral _gr_150.gif]    

(from line integral _gr_151.gif]) and

line integral _gr_152.gif]

Thus,   

line integral _gr_153.gif]
line integral _gr_154.gif]

Proposition (Fundamental Theorem of Line Integrals) Let line integral _gr_155.gif] be a piecewise smooth curve that is parametrized by the vector function line integral _gr_156.gif] for line integral _gr_157.gif] and let line integral _gr_158.gif] be a vector field that is continuous on line integral _gr_159.gif] If line integral _gr_160.gif] is a scalar function such that line integral _gr_161.gif] then   

line integral _gr_162.gif]

where line integral _gr_163.gif] and line integral _gr_164.gif] are the endpoints of line integral _gr_165.gif]

    Proof. Suppose line integral _gr_166.gif] and let line integral _gr_167.gif] be the composite function line integral _gr_168.gif] We have,

line integral _gr_169.gif]

line integral _gr_170.gif]

line integral _gr_171.gif]

line integral _gr_172.gif]

line integral _gr_173.gif]

line integral _gr_174.gif]

line integral _gr_175.gif]
line integral _gr_176.gif]

Example (Fundamental Theorem of Line Integrals) Find the work done by the gravitational field (Newton's law of gravitation)   

line integral _gr_177.gif]

where line integral _gr_178.gif] and line integral _gr_179.gif] are the masses of two objects and line integral _gr_180.gif] is the gravitational constant, in moving a particle from the point line integral _gr_181.gif] to the point line integral _gr_182.gif] along a piecewise smooth curve line integral _gr_183.gif]

    Solution. We have line integral _gr_184.gif] where    line integral _gr_185.gif] Therefore,   

line integral _gr_186.gif]
    
line integral _gr_187.gif]
    
line integral _gr_188.gif]
line integral _gr_189.gif]

Definition (Independence of Path) The line integral line integral _gr_190.gif] is independent of path in a region line integral _gr_191.gif] if for any two points line integral _gr_192.gif] and line integral _gr_193.gif] in line integral _gr_194.gif] the line integral along every piecewise smooth curve in line integral _gr_195.gif] from line integral _gr_196.gif] to line integral _gr_197.gif] has the same value.

Example (Criterion for Conservative Vector Field) Show that the vector field   

line integral _gr_198.gif]

is conservative and evaluate line integral _gr_199.gif] for any piecewise smooth path joining line integral _gr_200.gif] to line integral _gr_201.gif]

    Solution. First we determine line integral _gr_202.gif] We find,  
    
line integral _gr_203.gif]

line integral _gr_204.gif]

line integral _gr_205.gif]

and so the vector field is conservative and we can find the scalar potential function. Now we set out to find line integral _gr_206.gif] with line integral _gr_207.gif] Since line integral _gr_208.gif] we know that

line integral _gr_209.gif]

Then, we find line integral _gr_210.gif] and so comparing this with the given line integral _gr_211.gif]  we determine that line integral _gr_212.gif] and so line integral _gr_213.gif] So far we have,

line integral _gr_214.gif]

Also since, line integral _gr_215.gif] and comparing this to the given line integral _gr_216.gif] we determine line integral _gr_217.gif] and so line integral _gr_218.gif] is a constant with respect to line integral _gr_219.gif] line integral _gr_220.gif] and line integral _gr_221.gif] Therefore, a scalar potential function is

line integral _gr_222.gif]

(taking the constant to be zero). Finally,   

line integral _gr_223.gif]
line integral _gr_224.gif]

Proposition (Independence of Path) If line integral _gr_225.gif] is a continuous vector field on the open connected set line integral _gr_226.gif] then the following three conditions are either all true or all false:

    (i) line integral _gr_227.gif] is conservative on line integral _gr_228.gif]

    (ii) line integral _gr_229.gif] for every piecewise smooth closed curve line integral _gr_230.gif] in line integral _gr_231.gif]

    (iii) line integral _gr_232.gif] is independent of path within line integral _gr_233.gif]
    

Example (Independence of Path) Show that no work is performed when an object moves along a closed path in a connected domain where the force field is conservative.

    Solution. In such a force field line integral _gr_234.gif] where line integral _gr_235.gif] is a scalar potential of line integral _gr_236.gif] and because the path of motion is closed, it begins and ends at the same point line integral _gr_237.gif] Thus, the work is given by   

line integral _gr_238.gif]
line integral _gr_239.gif]

    Strategy for Line Integrals: Three ways for evaluating a given line integral line integral _gr_240.gif], are

    (i)  Parametrize line integral _gr_241.gif] and use the parametrization to convert the line integral into a one-variable integral involving line integral _gr_242.gif] over an interval line integral _gr_243.gif]

    (ii)  Check to see if line integral _gr_244.gif] is conservative; if it is, then find a scalar potential function line integral _gr_245.gif] and use the fundamental theorem of line integrals.

    (iii)  If line integral _gr_246.gif] is conservative, find a convenient path line integral _gr_247.gif] with the same endpoints as line integral _gr_248.gif] and use the fact that line integral _gr_249.gif] since the line integral is independent of path.

Proposition (Line Integral for Area) If line integral _gr_250.gif] is a region bounded by a piecewise smooth simple closed curve line integral _gr_251.gif] oriented counterclockwise, then the area of line integral _gr_252.gif] is given by

line integral _gr_253.gif]

Example (Line Integral for Area) Use a line integral to find the area enclosed by the region line integral _gr_254.gif] defined by the circle line integral _gr_255.gif]

    Solution. We can parametrize the circle by line integral _gr_256.gif] and line integral _gr_257.gif] for line integral _gr_258.gif] Then the area is found by,
    
line integral _gr_259.gif]

line integral _gr_260.gif]

Example (Line Integral for Area) Use a line integral to find the area enclosed by the region line integral _gr_261.gif] defined by the triangle with vertices line integral _gr_262.gif] line integral _gr_263.gif] line integral _gr_264.gif]

    Solution. We can parametrize the line segments by
    
line integral _gr_265.gif]

line integral _gr_266.gif]

line integral _gr_267.gif]

Then the area is found by,
    
line integral _gr_268.gif]

line integral _gr_269.gif]

line integral _gr_270.gif]

line integral _gr_271.gif]
line integral _gr_272.gif]

Example (Line Integral for Area) Use a line integral to find the area enclosed by the region line integral _gr_273.gif] defined by the curve line integral _gr_274.gif] line integral _gr_275.gif] for line integral _gr_276.gif]

    Solution. We have,
    
line integral _gr_277.gif]

line integral _gr_278.gif]

line integral _gr_279.gif]

line integral _gr_280.gif]

line integral _gr_281.gif]

line integral _gr_282.gif]

line integral _gr_283.gif]

line integral _gr_284.gif]

line integral _gr_285.gif]

line integral _gr_286.gif]

line integral _gr_287.gif]

by using the reduction formula,

line integral _gr_288.gif]
line integral _gr_289.gif]

Cite this as:
Line Integral
Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/line-integral.html
 
    
Library of Math
Online Math Organized by Subject Into Topics
math search
Library of Math AddThis Feed Button
The Library of Math - Online Math Organized by Subject Into Topics.
© 2005 - 2008 www.LibraryOfMath.com All rights reserved.
about us | feedback | privacy policy | terms of use | mision statement | help

Page copy protected against web site content infringement by Copyscape Valid CSS! Valid HTML 4.01 Transitional Subscribe to the Library of Math Feed
Art & Photography Shop | Being Healthy Shop | Best Sports Mall | Cafe Food Lover | Cafe Gift Shop | Cafe Internet Shop | Career Archives | City Annals
Countries Shop | Crazy Kids World | Dallas Cowboys Football Shop | Headline News Shop | Heart Boutique | Lover of Pets | Military Support Store
Musical Boutique | Online Math Store | Political Ramblings | Shop by Auction | Shop of Learning | Shop of Technology | Shop of Travels | Special Occasion Shop
Store of Hobbies | Theology Store | USA States Shop | Your Animal Store | Your Fitness World | Your Funny Store | Your Science Store