VectorCalculus[LineInt]  compute the line integral of a vector field in R^n

Calling Sequence


LineInt(F, dom, inert)


Parameters


F



vector field or a Vectorvalued procedure; specify the vector field to integrate

dom



unevaluated function call; specify the path of integration

inert



(optional) name; specify that the integral representation is to be returned





Description


•

The LineInt(F, dom) command computes the line integral of the vector field F over the path specified by dom. Note that variable names are not required (and cannot be supplied) here as they are in PathInt since they will be retrieved from coordinate system attribute of F.

•

The paths of integration are specified by unevaluated function calls. The possible paths of integration are Arc(obj, start, finish), Circle(cen, rad), Circle3D(cen, rad, normal), Ellipse(cen, a, b, phi), Ellipse(eqn, varx, vary), Line(p1, p2), LineSegments(p1, p2, ..., pk), and Path(v, rng, c).


The first parameter of Arc, obj, is a Circle or Ellipse structure. The Arc structure defines a segment of the circle or ellipse with endpoints specified by the start and finish angles.


To define precisely how the endpoints are determined from the given start and finish angles, it suffices to discuss only circles and ellipses centered at the origin. For a circle or ellipse centered elsewhere, the start and finish endpoints are determined as if the circle or ellipse were first translated to the origin.


For a Circle centered at the origin, angle is measured counterclockwise from the positive xaxis. Therefore, the angle specifies the negative yaxis.


To define how angle is measured for an Ellipse centered at the origin, we first define the right semimajor axis of the ellipse to be the semimajor axis in the right halfplane (the first and fourth quadrants of the plane). If the major axis of the ellipse is coincident with the yaxis, then its right semimajor axis is defined to be the one on the negative yaxis. Thus, for an ellipse centered at the origin with its major axis sitting on the line y = x, its right semimajor axis is the one inside the first quadrant.


For an Ellipse centered at the origin, angle is measured counterclockwise from its right semimajor axis. Therefore, in the example ellipse given in the previous paragraph, the angle specifies the positive yaxis.


Once the terminal arm of the angle is determined, that angle specifies the point where the terminal arm (viewed as a ray) intersects the circle or ellipse. The arc is always traversed in its entirety from start to finish; therefore, it is possible to traverse the circle or ellipse for more than one full revolution or to traverse in the opposite (clockwise) direction by specifying appropriate start and finish angles.


The parameter cen is the center of the circle and must have type 'Vector'(algebraic) and rad is the radius of the circle and must have type algebraic. If a coordinate system attribute is specified on cen, it is interpreted in that coordinate system.


Circle3D(cen, rad, normal)


The parameter cen is the center of the circle and must have type 'Vector'(algebraic), rad is the radius of the circle and must have type algebraic and normal is the normal to the plane in which the circle lies and must have type 'Vector'(algebraic). If a coordinate system attribute is specified on cen, it is interpreted in that coordinate system.


The line integral of the tangential component of the field is computed using Stokes' theorem, converting it to a surface integral. If the inert option is used, a double integral over the disk bounded by the given circle is returned. (Note that the applicability of Stokes' theorem is not verified.)


The parameter cen is the center of the ellipse and must have type 'Vector'(algebraic). If a coordinate system attribute is specified on cen, it is interpreted in that coordinate system. The parameters a and b are the lengths of the semimajor and semiminor axes, respectively. The resulting ellipse is constructed via the following process: Start with an ellipse centered at the origin having the specified axes lengths, with its major axis initially on the xaxis. It is rotated through an angle of phi in the counterclockwise direction and translated to cen.


The parameters p1 and p2 must be of type 'Vector'(algebraic), and they represent the endpoints of the directed line segment from p1 to p2. If coordinate system attributes are specified on the points, they are interpreted in their respective coordinate systems.


LineSegments(p1, p2, ..., pk)


Similar to Line(p1, p2) above, the pi's represent the endpoints of line segments. The path of integration is the collection of line segments directed from p1 to p2, p2 to p3, ..., p(k1) to pk. If any coordinate system attributes are specified on these points, they are interpreted in their respective coordinate systems.


The first parameter, v, is a Vector representing the components of the path, and the second parameter, rng, must have type {range, name=range}. If no parameter name is specified in rng, it is inferred from v.


If the optional third argument, c, is specified, it must be an equation of the form coords=sys or coordinates=sys. This is the coordinate system in which v is interpreted. Note: if this argument is supplied, any existing coordinate attribute on v is overwritten (and therefore ignored).

•

The LineInt(F, dom, inert) command returns the integral form of the line integral of the F over dom.



Examples


>


>


 (1) 
>


 (2) 
>


 (3) 
>


 (4) 
>


 (5) 
>


 (6) 
an ellipse can also be specified via its defining equation
>


 (7) 
it can also be specified by an expression, as in
>


 (8) 
>


 (9) 
>


 (10) 
any valid ellipse structure (described above) is allowed here
>


 (11) 
a conservative vector field
>


 (12) 
>


 (13) 
>


 (14) 
>


 (15) 
>


 (16) 

