lacunary - Mathnotes

Arc Length and Line Integrals

Lengths of Parametric Curves

Remark \@{remark-2}

If we think of a curve in a plane, we can think of the arc length differential ds as the "hypotenuse" of small triangles whose sides are dx and dy.

Arc Length Differential

This makes

ds=dx2+dy2

and the differential formula for arc length is then:

L=ds

Theorem \@{arc-length-in-plane}

If a smooth curve x=f(t),y=g(t),atb, is traversed exactly once as t increases from a to b, the curve's length is

L=abds=ab(dxdt)2+(dydt)2dt

The arc length of curve in R3 can be defined the same way, assuming z=h(t):

L=abds=ab(dxdt)2+(dydt)2+(dzdt)2dt

Note \@{note-4}

Note that the arc length formula for both 2 and 3 dimensions can be written using vector notation in the more compact form:

L=ab|r(t)|dt

Line Integrals

Note \@{note-5}

A line integral is similar to integrating over an interval [a,b], except it allows us to integrate over a curve C (curve integral would be a better name.)

Definition: Line Integral \@{line-integral}

If f is defined on a smooth curve C given by x=x(t),y=y(t),atb, and f if defined on C, then the line integral of f along C is defined as:

Cf(x,y)ds=limninfi=1nf(xi,yi)Δsi

Theorem \@{line-integral-over-a-plane-curve}

If f is a continuous function of two variables x=x(t),y=y(t) whose domain includes the smooth curve C, then the line integral can be evaluated as:

Cf(x,y)ds=abf(x(t),y(t))(dxdt)2+(dydt)2dt

Remark \@{remark-8}

Line integrals in the xy-plane that correspond to integrals in the complex plane take the form

CP(x,y)dx+Q(x,y)dy.

Theorem \@{all-parameterizations-of-curve-have-same-line-integral}

When P(x,y) and Q(x,y) are continuous and C is smooth, we can calculate the value of the line integral by expressing P,Q,dx and dy in terms of any parametric representation of C and evaluating the resulting definite integral:

CP(x,y)dx+Q(x,y)dy=αβ{P[x(t),y(t)]dxdt+Q[x(t),y(t)]dydt}dt.(4.7)

All parameterizations of the curve lead to the same value.

Remark \@{remark-10}

For some integrals, it does not matter what path is taken between two points; the value is always the same. Such line integrals are said to be independent of path.

Definition: Path Independent (also: independent of path) \@{path-independent}

We say that line integral 4.7 is independent of path in a domain D if for any two points A and B in D, the value of the line integral is the same for all piecewise smooth curves in D from A to B.

Referenced by (1 direct)

Direct references:

Remark \@{remark-12}

There are two ways to ensure that a line integral is independent of path in a domain D:

  1. Show that Pi^+Qj^ is the gradient of some function ϕ(x,y) at every point of D.
  1. If D is simply-connected (every closed curve in D contains in its interior only points of D), show that Q/x=P/y.
Theorem \@{fundamental-theorem-of-line-integrals}

When a line integral is known to be independent of path, and its value is required along some curve with initial point A and final point B, we can either replace the given curve with a simpler curve, or, take the difference in the values of the function ϕ(x,y) at B and A.

CP(x,y)dx+Q(x,y)dy={ϕ(x,y)}AB=ϕ(xB,yB)ϕ(xA,yA).

Theorem \@{closed-path-of-path-independent-integral-is-zero}

If a line integral is independent of path in a domain D, and C is a closed, piecewise smooth curve in D that contains only points of D in its interior, its value is zero:

CPdx+Qdy=0