Line Integrals of Second Kind [608206]
CHAPTER 12
Line Integrals of Second Kind
12.1. Orientated curves
Recall that a curve means the class of all equivalent paths, in the sense of
Denition 10.6. The orientation on a curve is closely related to the monotoni-
city of the intermediate function φ;appearing in Denition 10.6. If we want
to dene the notion of an orientated curve, we will divide the class of all the
equivalent paths that belong to the curve into two subclasses: the paths for
which the equivalence relation is established through an increasing function
φ, and the paths for which the equivalence relation is established through a
decreasing function φ. Next we have to decide which of these two subclasses
represent the direct orientation (sense) and which represents the converse one.
Definition 12.1.Let
: [a;b]!R3be a path. When the parameter tgrows
fromatob, the point
(t)runs the image of the path, (
);in a sense called
the positive (direct )sense . Whentdecreases from btoa, the point
(t)
runs the image of the path, (
);in a sense called the negative (converse )
sense .
Definition 12.2.Anorientated path is every path for which a sense of
running is established.
Anorientated curve is every curve for which one species the sense of
running on a path that belongs to it.
So, a simple and smooth curve is considered to be positively (directly)
orientated , iff the sense of a parameterization that denes it is that of the
growing of the parameter , and negatively (conversely )orientated , by
contrary.
Thepositive (direct )sense on a closed, simple, and smooth path in R3
is the counterclockwise one.
A closed, simple, and smooth curve in R3is positively (directly) orientated
if a parameterization that denes it is counterclockwise traced. More speci-
cally, the contours in R3arepositively (directly )orientated iff the interior
of the domain remains on the left side, when running the contour.
237
238 12. LINE INTEGRALS OF SECOND KIND
12.2. Integrable functions with respect to the coordinates
Let
: [a;b]!R3be a smooth and orientated path, having the parametric
equations
8
<
:x=f(t)
y=g(t)
z=h(t); t2[a;b];
(
) be its image, and !r(t) be the position vector of the current point M(x;y;z )
from (
);i.e.
!r(t) =f(t) !i+g(t) !j+h(t) !k:
Let⃗V= (V1;V2;V3) : (
)!R3be a vector function. Let
(∆;) = (t0;t1;:::;tn;1;:::;n)
be a tagged division to [ a;b]. The real number
∆(
⃗V;)
: =n∑
i=1(
⃗V◦
)
(i) ( !ri !ri 1)
=n∑
i=1[V1(
(i)) (f(ti) f(ti 1))
+V2(
(i)) (g(ti) g(ti 1))
+V3(
(i)) (h(ti) h(ti 1))]
is called the Riemann sum associated to the vector function ⃗Vand the tagged
division (∆ ;).
Definition 12.3. !Vis called integrable with respect to the coordinates
along the path
iff there exists I2R, such that 8">0;9=(")>0;for
every tagged division (∆;) = (t0;t1;:::;tn;1;:::;n)to[a;b], with ∥∆∥< ;
one has∆( !V ;)
I<":
IfIdoes exists like in this Denition, then it is unique. We call it the
line integral with respect to the coordinates to the vector function !V
(orthe line integral of second kind ) along the path
and we denote it by
I=:∫
